Updated for icpc.