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