check-arg is by default expanding to a check, unless optimize cond-expand feature is used