ex3b_basic_lseek_syscall_binary_search works now!!