Symbol: properties_header