s/SET_NTL_AVOID_BRANCHING/1/
