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