/* -*- C -*-
*
* $HEADER$
* A program that just segfaults
*/
#include <stdio.h>
int main(int argc, char* argv[])
{
double pi;
char *dum=NULL;
pi = (double)*dum;
}