Availability:C-language interface function
:<rest>, 
this function will make
plain a reference to <rest> and fill module 
* with <module>. For further nested module 
constructs the innermost module is returned via module *. If raw 
is not a module construct, raw will simply be put in plain. 
The value pointed to by m must be initialized before calling PL_strip_module(), 
either to the default module or to NULL. A NULL 
value is replaced by the current context module if raw 
carries no module. The following example shows how to obtain the plain 
term and module if the default module is the user module:
{ module m = PL_new_module(PL_new_atom("user"));
  term_t plain = PL_new_term_ref();
  PL_strip_module(term, &m, plain);
  ...
}