Made networking work for naive, tput, klee