#include <stdio.h>

extern int ARMtype(void);

int main(void)
{
        printf("ARM version : %d\n", ARMtype() );
}
