Revert "TEMP Revert "properties.h: avoid duplicating constant values""

This reverts commit da870f5c74741c9b149c9474d2176b93bbbd5b68.