#include <os.h>
// see: http://ptspts.blogspot.com/2009/03/ascii-isdigit-isalpha-and-isxdigit.html

int isxdigit(int c) {
return (((((((((c) - 48U) & 255) * 18 / 17 * 52 / 51 * 58 / 114 \
     * 13 / 11 * 14 / 13 * 35 + 35) / 36 * 35 / 33 * 34 / 33 * 35 / 170 ^ 4) \
     - 3) & 255) ^ 1) <= 2U);
}