A parking lot for the old Lem files that were used for defining the semantics The Lem version used: rems-project/lem@194778e97d1e9a41ebbe34a8e4d5fb2d10395ba7