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