sub _Var ($$$;$) :lvalue {                  # Wrkhorse code for manufctrd Vars
    my ($p, $vn, $wa) = @{(shift)};           # vn=varname
    my $c = ref $p || $p;
    my $rfv = ref $p->{$vn};                  # rfv=ref(type) of var
    my $addrof;
    if ($wa && $wa eq 'α') { $wa=undef, $addrof=1 }
    my $arg = $_[0];
    if (@_ && !$addrof)  {                    # arg for "setter"
      my $rfa = ref $arg;                     # ref of the arg
      unless ( defined($p->{$vn}) && defined $arg ){  # if both not defined
        $p->{$vn} = $arg }

      elsif ($rfv eq ARRAY) {                 ## if type(var)==ARRAY, 1 param
        my ($index, $ap) = (shift, $p->{$vn});
        if ($p->{':pusharray'} or ( !looks_like_number($index) ||
            not( (defined $wa) || @_) )) {
          push @{$p->{$vn}}, ($index);            ## convert to "push"
          return $index }                         ## return pushed value

        else {
          $p->{$vn}[$index] = $_[0] if @_;
          return $p->{$vn}[$index] if defined $wa } }

      elsif ($rfv eq HASH) {              
        my $subvar = shift;                     ## 1 var w/hash is is a key
        $p->{$vn}{$subvar} = $_[0] if @_;       ## another?  =>assign value
        return $p->{$vn}{$subvar} if defined $wa }
      
      else {
        if ((length $rfv) && $rfv ne $rfa ) {   ## incompat assignment
          warn P "Warning: var type redefined from \"%s\" to \"%s\"",
                  $rfv, $rfa }

        $p->{$vn} = $_[0];                    ## assignment is default
        return $p->{$vn} if defined $wa } }   # how to return results? (below)

    if ($rfv eq ARRAY ) {
      if (defined($wa)) {               # arrays  special
        $wa? @{$p->{$vn}} : $addrof ? \$p->{$vn} : $p->{$vn} } }

    elsif ($rfv eq HASH ) { $p->{$vn} } 
    elsif ($addrof) { return $p->{$vn} }
    else  { return $p->{$vn} }
  } ## endsub (#108)
  
  # "address(ref)-of" function (
  sub _addr_of_($) { (#111 -- basically next line of code)