bts0323.c

/* run.config
 DEPS: bts0323.h
   STDOPT: +"%{dep:@PTEST_DIR@/bts0323-2.c}"
*/
#include "bts0323.h"
void f() { x = 0; }