Starting code for Decaf.