file with arith exp. skeleton