dev1: add dev4.tt