00001 00020 #include <stdio.h> 00021 00023 void 00024 indent_print(FILE* out, unsigned int indent); 00025 00026 /* End of File */