let
undef (r,_) = r :=
None