($ @m './mod2.gri') (assert= 32 (m::twice 16)) (assert= 3.14159 m::pi)