make trap_FS_Read and trap_FS_Write provide return values