#include <stddef.h>

extern char buf[];
extern const size_t buf_size;

char buf[1024];
const size_t buf_size = 1024;