__PROC__ write
i64 i8 ptr i64
__--__
i32
__DO__
    __LET__ size, ptr, fd
        size ptr __CAST_I64__ fd 1_i64 __SYSCALL4__
    __END_LET__
__END__

proc __DEREF_I64_PTR__
i64 ptr
--
i64
DO

END