syscall.c modified to resolve file descriptors returned from `sys_open`