corkscrew.cpp formatting