A functional language with goto's inside data structures [BSD license]