/* process(BINARY, ARGUMENTS). */
process('/bin/ls', '-l /bin').
/* syscall(TIMESTAMP, ID, PID, 
           RETCODE, NAME, ARG1, ARG2, ARG3, ARG4, ARG5, ARG6). */
syscall(1, 9, 3890, 140532867952640, 'mmap', 0, 4096, 3, 34, 0, 0).
syscall(2, 141, 3890, 100, 'getdents', 3, 140160528691200, 32768, 0, 0, 0).
syscall(3, 5, 3890, 3, 'open', '/etc/group', 524288, 0, 0, 0, 0).
syscall(4, 1, 3890, 55, 'write', 1, 'lrwxrwxrwx. 1 root root 1 Dec 13 01:02 /bin -> usr/bin\x0a\', 55, 0, 0, 0).
syscall(5, 231, 3890, 0, 'exit_group', 0, 0, 0, 0, 0, 0).