A simple demo on how to property test C++ from Erlang using PropEr