#!/usr/local/bin/tcc -run
#include <string.h>
#include <stdio.h>

#define N_DBG_MAX (1024 * 6)

char bb_dbg_buf[N_DBG_MAX];

void main(void)
{
    int i;
    for (i = 0; i < N_DBG_MAX / (3 + 6); i++) {
        bb_dbg_buf[i * 9 + 0] = 'A';
        bb_dbg_buf[i * 9 + 1] = 'B';
        bb_dbg_buf[i * 9 + 2] = 'C';
        bb_dbg_buf[i * 9 + 3] = 0;
        bb_dbg_buf[i * 9 + 4] = 0;
        bb_dbg_buf[i * 9 + 5] = 0;
        bb_dbg_buf[i * 9 + 6] = 0;
        bb_dbg_buf[i * 9 + 7] = 7;
        bb_dbg_buf[i * 9 + 8] = 0;
    }
}