emporarily allocated
     block of memory into which <span 
class="pcrr7t-">val </span>has been marshalled (the combination of <span 
class="pcrr7t-">alloca</span><a 
 id="dx42-301001"></a> and <span 
class="pcrr7t-">poke</span><a 
 id="dx42-301002"></a>).
     <p class="noindent"> The memory is freed when <span 
class="pcrr7t-">f </span>terminates (either normally or via an exception), so the pointer passed
     to <span 
class="pcrr7t-">f </span>must <span 
class="ptmri7t-">not </span>be used after this.
