sizer: add undecorated symbol names; add Format: header just in case we'll change the format in the future