void Debug_leak_MINUS_array(Array a) {
    // Leaked!
}