-rw-r--r-- 62 saferewrite-20260206/src/int64x4_storetail_8/api raw
out int64 x 12
in int64 y 4
in int64 n
call int64x4_storetail