A language with "malingering updatable stores" [BSD license]