/* default table value */
t = mktab(0);
t[1]++;
printf("%d\n", t[1]);