C++ and EOS Contracts