buddy.ttcn 469 Bytes