corrigenda_catch_callability(ok).