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

int main()
{
    int i, j;
    char num[MAXLINE];
    char work[MAXLINE];
    strcpy(num, "0123456789");

    while(1){
        j = 0;
        for(i = 0; i <= strlen(num) - 1; i++) {
            if( num[i] + 1 != num[i+1] ) {
                work[j] = num[i];
                j += 1;
                i += 1;
            }
        }
        work[j] = '\0';
        strcpy(num, work);
        break;
    }

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