ex_isxdigit.spc

This is an example of how to use the isxdigit function.

task main()
{
  printf("%d\n", isxdigit('c'));
}