[mini-RFC] Name mangling in AOT

Identifiers that begin with underscore are reserved by the C standard. Conformant C code should not use them, dropping the _ and using just “tvm_…” would be conformant.

1 Like