ABORT!

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

This is an alias for a!; see a!.