def get_host_port(spec, default_port):
args = (spec.split('<STR_LIT::>', <NUM_LIT:1>) + [default_port])[:<NUM_LIT:2>]<EOL>args[<NUM_LIT:1>] = int(args[<NUM_LIT:1>])<EOL>return args[<NUM_LIT:0>], args[<NUM_LIT:1>]<EOL>
parse 'hostname:22' into a host and port, with the port optional