Symbol: hal_property_get_int