Asserting on some ctl() calls that should never fail