An implementation of the WHILE language in python