reformat thal.c