Check that each argument, exception and return value is marshalled max once and only when appropriate
- Arguments should be unmarshalled always
- Exception should be marshalled only if exception is raised
- Return value should be marshalled only if exception didn't occur
Check that each argument, exception and return value is marshalled max once and only when appropriate