ifelse.ttcn 698 Bytes