(* This is the reasonably easy test *) 
(* No procs, but has units *) 
(* No arrays  -- lots of expressions *) 

program check_units; 

unit boolean, inches alias (inch,in), 
     hour alias (hours, hr), minute alias (minutes, min), second alias (seconds, sec); 

const 
      true = 1 boolean ; 
      false = 0 true.unit ; 
      min_per_hr = 60; 
      sec_per_min = 60; 

var    
      s: seconds; m: minutes; h: hours;  
      h1: h.units;
       
      b1, (* just for fun *) 
      b2, 
      b3 
        : boolean; 
begin 
    h := 6; 
    h1 := h + h;
    m := {minutes} (h1 * min_per_hr); 
    s := {s.units} m * sec_per_min;

    b1 := true; 
    b2 := false; 
    b3 := b1 * b2; 
end.  (* check_units *)