The UFO programming language