MODULE koord EXPORTS Main;
IMPORT IO, Fmt;

TYPE
	koordinaten = RECORD
	    x,y : INTEGER := 0;
	END;


VAR
    punkt1 : koordinaten;                    (* ohne konstuktor/wertzuweisung *)
    punkt2 := koordinaten {1,10};            (* Reihenfolge ist hier wichtig  *)
    punkt3 := koordinaten {y := 4, x := 1};  (* es sei denn man macht es so   *)

PROCEDURE print_punkt(VAR punkt : koordinaten) =
BEGIN
    IO.Put("X = " & Fmt.Int(punkt.x) & " Y = " & Fmt.Int(punkt.y) & "\n");
END print_punkt;

BEGIN    
    print_punkt(punkt1);
    print_punkt(punkt2);
    print_punkt(punkt3);
END koord.