simtest for pascal: half done