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