??? variadic functions such as printf and scanf are problematic for marshalling - since there is no well-defined way of knowing how many parameters of which size there is, it is likely that the user will have to provide the parameter packing for these manually