Leftover from my USACO template. Will do.