port t/01basit.t from P5