t = { mutable level : contents; size : contents }