indeed, I added a new opt_abis check. I'll push another change in a bit, running checks.