Version that compiles (!)
Nat example works