initial example1 translation to forth