module alloc; u64 alloc(u64 size) { return 0u64; } void free(u64 address) { }