# Generated from platformheaders.pro.