rename NetCore -> NetKat for verify