T
trivial-variable-bindings