(Under construction.)
type Void { built-in type }
program VoidDemo; procedure p (var x: Void); begin end; var i: Integer; s: String (42); begin p (i); p (s) end.
procedure p (var x: Void); begin end;
var i: Integer; s: String (42);
begin p (i); p (s) end.