add tactic native_cast_no_check