C highlight pointer type