/patch-configure_in/1.5/Tue Feb 10 08:43:04 2015//
/patch-randnum_c/1.4/Tue Feb 10 08:43:04 2015//
D
