Added push_obj_index(). Needs to be distinct from push_int() on big endian machines when INT_TYPE is wider than int. Rev: src/interpret.h:1.162