#include <string>

std::string print_decoded(uint16_t ins, bool simplify);