let n = 5;
let m = fwd<Int>(n.demut());

print(*n);
print(*m);