Code from our ICPC times