Method ExtendedRecord

test-suite/handwritten-src/cpp/extended_record.cpp:9–9

using namespace testsuite;

ExtendedRecord::ExtendedRecord() : ExtendedRecordBase(true) {}