-rw-r--r-- 110 high-ctidh-20210523/random_namespace.h#define random_boundedl1 NAMESPACEGENERIC(random_boundedl1) #define random_coin NAMESPACEGENERIC(random_coin)