main module impencod import x,y,z from encoded declare i : y enddeclare x := 1 z() endmodule