Sans IO: safe and testable network protocols Building safe, deterministic and testable network prot…