SR_GHZ and the other macros need a ULL suffix for the numbers, otherwise integer overflows can happen and the result will not be correct. E.g. SR_GHZ(5) will overflow without this.
Fixed in 0b4b41eed84be29e21b0e65c8072b546b4fdd37e.