// // This file simply includes the source file from the common Alpha // HAL directory. // #include "..\halalpha\ev5mchk.c"