(* Test: NUMBER *)

MODULE Main;

PROCEDURE Foo (
  a : ARRAY OF CHAR;
  i : INTEGER;
  j : CARDINAL) =

BEGIN
  i := NUMBER (a);
  j := NUMBER (a);
  i := NUMBER ([0..3]);
END Foo;

BEGIN
  EVAL Foo;
END Main.