#include <SDL2/SDL.h>
#include <stdio.h>

int main(){
	printf("pix format: 0x%x\n", SDL_PIXELFORMAT_RGBA32);
}

.