Implementation of the U programming language