colorize("reg", "EAX", green);
colorize("reg", "EFLAGS", gray);
colorize("reg", "EBP", orange);
colorize("reg", "ECX", cyan);