Files
genode-world/include/libvnc/rfb/rfbint.h