MODULE Main; IMPORT Test, A, B; BEGIN A.errno := 0; Test.checkI (A.errno, B.errno); Test.done (); END Main.