that is a problem, there is hard coding to force Radix to 16 when calling ks_option. and there is not export api to set the radix

[bbqz007]

KEYSTONE_EXPORT
ks_err ks_option(ks_engine *ks, ks_opt_type type, size_t value)
{
    ks->MAI->setRadix(16);

it is freak that att style 12(%esp) is treated as 0x12 where 12 is not after 0x