Test wire tag and wire type bounds