int NOTATION_NODE = 12

Source

static const int NOTATION_NODE = 12