#include <stdint.h>
#include "T11983.h"

void intptr_example(intptr_t i)   {}
void uintptr_example(uintptr_t u) {}