out int64 y 4
in int64 x 68
in int64 n
in int64 c
call int64x4_loadtail
