A partial implementation of TTCN3