#include <stdio.h>
#include <stdint.h>
void
something(uint8_t* var)
{
}
int main() {
something(0xFF);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRpbnQuaD4KCnZvaWQKc29tZXRoaW5nKHVpbnQ4X3QqIHZhcikKewoJcHJpbnRmKCIlMDJYXG4iLCB2YXIpOwp9CgppbnQgbWFpbigpIHsKCXNvbWV0aGluZygweEZGKTsKCXJldHVybiAwOwp9