main module iniimp %set use_routine_names = true import x from iniexp declare xd : x xdi : x initially x( b: false ) xs : static x xsi : static x initially x( b: false ) enddeclare endmodule