Title: A compiling technique for the Iverson language