How should a driver brake in an emergency on a school bus equipped with ABS?

1. Use the necessary braking force and do not pump the brakes
2. Always pump the brakes rapidly to activate ABS
3. Turn off the engine before touching the brake pedal
4. Shift to Neutral and coast until the bus stops