Congrats! If I'm not mistaken, crternlogi should work similar to ternlogi, but with CRs, right? I also don't remember whether I met binlog. Do we have any doc pages for these insns? Also, any ideas on how soon we need these in binutils? I assume we need them in gas and objdump as well. Best regards, Dmitry