assert memory[1] >= 0;