#!/usr/local/bin/tcc -run
#include<stdio.h>
#include<stdlib.h>
#define MAXLINE 11

int main()
{
    char num[MAXLINE];

    strcpy(num, "0123456789");

    printf("hello %s", num);
}