page_exception.h"</span>
<a name="l00012"></a>00012 <span class="preprocessor">#include "exceptions/page_not_pinned_exception.h"</span>
<a name="l00013"></a>00013 <span class="preprocessor">#include "exceptions/page_pinned_exception.h"</span>
<a name="l00014"></a>00014 <span class="preprocessor">#include "exceptions/buffer_exceeded_exception.h"</span>
<a name="l00015"></a>00015 
<a name="l00016"></a>00016 <span class="preprocessor">#define PRINT_ERROR(str) \</span>
<a name="l00017"></a>00017 <span class="pr