Symbol: addprop_integer