Not sure this is really a platform.h value - sounds like more of an eclrtl.hpp value to me.