OpenTTCN/General