(* test number definitions *)

main(): void {

  {  
     a = 0;

     a = 09; (* error line 9 *)

     a = 000; (* error line 11 *)

     a = 1000; 

  }
}