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