__INT_TO_PTR
# define __INT_TO_PTR(P) ((void *) ((P) + (char *) 0))
# define __INT_TO_PTR(P) ((P) + (char *) 0)