#include <stdio.h>

void
Rso(void)
{
 printf("In Rso.\n"); fflush(stdout);
}