R.I.P. Dennis Ritchie..

void rest_in_peace(dmr)
const char* dmr;
{
    printf("Rest in peace %s\n",dmr);
}