class MAIN is
  main is
    #OUT + #FMT("<F0 #####.###>", 7.1257) + "\n";
    #OUT + #FMT("<F0 #####.###>", 7.1254) + "\n";
  end;
end;