Fix value_of for pointers