{ "^return_alloc$": [ { "return-alloc": { "type": "heap" } } ] }