12345678910main() { x := acquire() use(x) free(x) use(x)}acquire() -> !int { return 1 }use(_ int) {}free(_ !int) {}
