← TTCN-3 Quick Reference Card