Bug570707.ttcn 1.4 KB