# set the workspace buffer to ""
  clear;
  # print a message and exit if the workspace is not empty
  !"" { clear; add "workspace not empty"; print; quit; }
  # print a message and exit if the workspace is empty
  "" { add "workspace empty"; print; quit; }