alloc : Unit -> rec t { l : < End Unit | Cons { d : U8, r : t }# > take };

makeEmptyList : Unit -> rec t { l : < End Unit | Cons { d : U8, r : t }# > };
makeEmptyList a = 
            let r = alloc Unit in
                put r.l := End Unit end
            end;