declare str_len : (str) -> int declare int_to_str : (int) -> str declare int_to_str_val : str declare syscall_4 : (int, any, any, any) -> unknown let write := (fd: int, string: str, len: int) : void => { #[os == "macos"] let ident := 0x2000004; #[os == "linux"] let ident := 1; syscall_4(ident, fd, string, len) } let print := (value: str) : void => { write(1, value, str_len(value)) } let printi := (val: int) : void => { print(int_to_str(val)) }