K 10 svn:author V 3 rrs K 8 svn:date V 27 2019-07-11T04:40:58.013511Z K 7 svn:log V 72 Update to jhb's other suggestion, use #error when we are missing HPTS. END