Help for this page
my $val = Dive(\%b, map \$_, @a); DiveVal(\%b, map \$_, @a)= $val;
my $val = Dive(\%b, map \$_, @a); DiveVal(\%b, map \$_, @a) = $val;
my $val = Dive(\%b, @a); DiveVal(\%b, @a) = $val;