#include <stdint.h>
#include "CpuArch.h"
Bool CPU_Is_InOrder(void);
Bool CPU_Is_InOrder(void)
{
return False;
}