declare malloc(size: u64): *i32 let main() = { let a = malloc(4) *a = 1 return *a }