set integer values for array index enums explicitly
set integer values for array index enums explicitly

fplll/fplll,cr-marcstevens/fplll,shi-bai/fplll,cr-marcstevens/fplll,fplll/fplll,dstehle/fplll,dstehle/fplll,cr-marcstevens/fplll,fplll/fplll,dstehle/fplll,shi-bai/fplll,fplll/fplll,cr-marcstevens/fplll,fplll/fplll,shi-bai/fplll,shi-bai/fplll