Fix `IntConfigCPP` and new tests