s/SET_NTL_AVOID_BRANCHING/0/
