Madagascar Programming Reference Manual

sf_stack_set

Sets the position of the pointer in the stack to the specified in the input pos.

sf_stack_set (s, pos);

void sf_stack_set (sf_stack s, int pos) 
/*< set stack position >*/
{
   ...
}