#include <vmem.h>
|struct tm_vmem| represents main memory; the resource that the TM module maintains.