MODULE C EXPORTS Main;

IMPORT Ctypes;

PROCEDURE P(chars: ARRAY OF CHAR) RAISES {}=
  BEGIN
    EVAL NUMBER (chars);
  END P;

VAR a: ARRAY [0..9] OF Ctypes.Char;

BEGIN
  P(a);
END C.