Version: 0.0.10.2.00.2.10.2.20.2.30.2.40.2.50.3.00.4.00.5.00.6.01.0.01.0.11.0.22.0.02.0.12.0.22.0.32.0.42.0.52.0.62.0.72.0.82.0.93.0.03.0.13.0.33.0.43.0.5
const NUM_DEFAULT = 0;
// The true default is an empty string, but it results in invalid path, so use
// "0 0"
const POINTS_DEFAULT = "0 0";
export {
NUM_DEFAULT,
POINTS_DEFAULT
};