# Don't use os.system("pause"), it is very slow because it needs to create
# an entire shell process. Use this instead:

import getch

def pause():
  print("Press any key to continue . . . ")
  getch.getch()