An 0xED plugin for viewing and editing variable-sized formatted integers