out int32 y 8
in int32 x 128
in int64 n
in int32 c
call int32x8_loadtail
