Symbol: PUSH_CELL_POINTER_DOUBLE