Lustre versus C valid identifiers
The C code generator produces invalid C code if an invalid C ident is used as a (valid) Lustre ident.
Such programs should at least be rejected with a proper msg, at least if the -2c option is used.
An alternative would be to rename the ident.
lus2lic bad_ident.lus -n bad_ident -2c-exec
Edited by erwan