Formatting of "prototype board.h"