Reformatting bootuncert.c