Testing code for HackP (for short) 2013.