bug fix in udp_used? and add UDP spec