ABORT!

to return to the top-level of ACL2's command loop 
Major Section:  MISCELLANEOUS

This is an alias for a!; see a!. For a related feature that only pops up one level, see p!.