/* 920717-1.c */

const char s[]="foo";