797a798,803
> 0x10: ivlb({{
> warn_once("Obsolete M5 instruction ivlb encountered.\n");
> }});
> 0x11: ivle({{
> warn_once("Obsolete M5 instruction ivlb encountered.\n");
> }});