Create red_pointer.h