char *buf = "HELLO";
これの他には
用は値が残ってりゃいいのだから
static char buf[]="HELLO";
でも良い。