This function does the same as @xref{execute_Dereference()} except that it has different arguments fitted to support external modules and besXXX macros.
int execute_DereferenceS(unsigned long refcount,
pFixSizeMemoryObject *p
){
See also @xref{execute_Dereference()}.
If the argument is referencing an undef value then this function converts the argument to be a real NULL to allow external modules to compare besDEREFERENCEd variables against NULL.
The subroutine is also error prone handling NULL pointer as argument, though it should never be happen if the external module programmer uses the macro besDEREFERENCE.