// The M13_main.cpp file

#include <cassert>
#include <iostream>
#include "M13_externs.h"

int main()
{
    SM_RUN();
    assert( global_variable == 456 );
    return 0;
}