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