#include <mplib1/mpbasename.h>
This header file contains the definitions for two functions which deal
with process IDs.
char *mpbasename( const char *full_name );
This function returns a pointer to the non-directory portion
of the file name supplied.