NetKAT end-to-end