Formatted tiny.c