printf("%#x",0) should print 0 not 0x0
[musl] / include / sys / vt.h
1 #include <linux/vt.h>