-/*
- * ANSI says: "If there is no actual next argument, or if type is not
- * compatible with the type of the actual next argument (as promoted
- * according to the default argument promotions), the behavior is
- * undefined." We read this to mean that we're not allowed to do the
- * promotion for the user, so shorts and chars drop core.
- */