normalised arguments and types for native code