Core C++ source for Avocado