example of an untruncated type
globalize a macro
moving stuff about truncations around