Record Case Detail - VE482 FA2020 (Manuel) - JOJ

This function is in beta test. Please help improve it in the issues here.

 pwd: /out/package
ppid: 82444
   1: WRITELN echo abc > /dev/permission_denied
   2: WRITELN exit

mumsh $ /dev/permission_denied: Permission denied
mumsh $ exit

mumsh $ /dev/permission_denied: Permission denied
mumsh $ exit