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