__isl_keep isl_ast_node *node, void *user);
void *print_for_user;
__isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,
__isl_keep isl_ast_node *node, void *user);
void *print_for_user;
__isl_give isl_printer *(*print_user)(__isl_take isl_printer *p,