CppMem: Interactive C/C++ memory model