Luca Barbato f6cb5f20a5 Check for the extended mnemonic ... It is what objdump produces usually.		2018-05-23 18:16:14 +02:00
..
stdarch	Check for the extended mnemonic	2018-05-23 18:16:14 +02:00