$neg-prefix: "neg";