AIB 2011-06: dco/c++ - Derivative Code by Overloading in C++