/usr/share/awk
This explorer reads the filesystem of the server it runs on, so /workspace/user isn't present here. Browsing and the terminal still work against this server's own disk from /.
# assert --- assert that a condition is true. Otherwise, exit. ## Arnold Robbins, arnold@skeeve.com, Public Domain# May, 1993 function assert(condition, string){ if (! condition) { printf("%s:%d: assertion failed: %s\n", FILENAME, FNR, string) > "/dev/stderr" _assert_exit = 1 exit 1 }} END { if (_assert_exit) exit 1}