// expect: x: is m; write d*x
fn take(.d p) { return p[0]; }
fn main() { let x = new(3); take(x); return 0; }