/*
 * segfault.c
 */

#include <stdio.h>

int
main(int argc, char *argv[])
{
    char *s = 1234;

    printf("Type something: ");
    fgets(s, 20, stdin);

    printf("You input \"%s\"\n", s);
}