/* See frgb.h */
/* Last edited on 2023-03-04 18:05:18 by stolfi */ 

#include <stdint.h>

#include <frgb.h>