#! @PYTHON@
### greet HOST PORT CHALLENGE
### Sends a TrIPE greeting packet to the server listening on HOST and PORT.
### The payload is the base64-encoded CHALLENGE.

import socket as S
from sys import argv

def db64(s):
  return (s + '='*((-len(s))%4)).decode('base64')

ai, chal = (lambda _, h, p, c:
            (S.getaddrinfo(h, p, S.AF_UNSPEC, S.SOCK_DGRAM, S.IPPROTO_UDP,
                             S.AI_NUMERICHOST | S.AI_NUMERICSERV)[0],
             db64(c)))(*argv)
sk = S.socket(ai[0], S.SOCK_DGRAM)
sk.connect(ai[4])

pkt = '\x25' + chal
sk.send(pkt)