// expect error: p: is not an owner
// spec 6.9.1
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
int* g;
void f(int*.m p) { g = p; }
fn main() { return 0; }
// zc0: skip