/patch-config_h/1.12/Wed Nov 18 08:15:36 2020//
/patch-osrng_cpp/1.3/Wed Nov 18 08:15:36 2020//
D
