The following changes were made :-
- a `returns_fd` function added in util.c to check if the tcb refers to a function
that returns a file descriptor
- `trace_syscall_exiting` now uses `returns_fd` to determine if `tcp->u_rval` needs
to be passed to `printfd`