fix to ex3b_basic_lseek_syscall_binary_search!!