nondeterministic space

  1. REDIRECT NSPACE