/* If the value is a pointer, and pointers and addresses are not the
same, then at this point, the value's length (in target bytes) is
/* If the value is a pointer, and pointers and addresses are not the
same, then at this point, the value's length (in target bytes) is