Right now the generated code has these three imports:
import scala.scalanative._
import scala.scalanative.native._
import scala.scalanative.native.Nat._
This may lead to issues if a binding uses the name native or one of the natural number symbols like _1. In order to avoid such conflicts we need to be more explicit in the generated code, like prefixing everything with scalanative.native.CInt.
Alternatively we need to document limitations of what names are not allowed.