explicitly annotated some other WireValues just to be safe