std::alloc

function free

fn free(ptr: &void) { .. }