Why no GC? Guaranteed memory safety would be nice