When you check the bags to the airline you surrender the paper I94. Once they scan you passport your departure is recorded.