Pātuhitia tēnei: An introduction to TTCN-3