For ACM-ICPC