hal_property_new_int
prop = hal_property_new_int (key, value);
HalProperty *hal_property_new_int (const char *key,