Usage: php WSDLtypes.php gateway