--import TRACE
}
-$whitechar = [\ \t\n\r\f\v\xa0]
+$whitechar = [\ \t\n\r\f\v\xa0] -- \xa0 is Unicode no-break space
$white_no_nl = $whitechar # \n
$ascdigit = 0-9
| CmmT_jump
| CmmT_foreign
| CmmT_prim
+ | CmmT_return
| CmmT_import
| CmmT_switch
| CmmT_case
( "jump", CmmT_jump ),
( "foreign", CmmT_foreign ),
( "prim", CmmT_prim ),
+ ( "return", CmmT_return ),
( "import", CmmT_import ),
( "switch", CmmT_switch ),
( "case", CmmT_case ),