Assume udp_recv/5 now returns new options