1  ORIGIN '~beta/basiclib/betaenv'
2  -- program: Descriptor --
3  (* Hello World in BETA *)
4  (# do 'Hello World' -> putLine #)