namespace;
include rt;

// expect: x: is d; pass it to a d parameter
fn look(.m p) { return p[0]; }
fn take(.d p) { return p[0]; }
fn main() { let x = rt.new(3); d*x; look(x); take(x); return 0; }