For example, we may want to have a calling convention that infers argument type. In that case, we'd want multiple entrypoints - one for where the caller has already done the type checks, and another where he hasn't. This kind of hackery would probably require some help from Air's wrap() phase.