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