randtest_macros

Macros used internally by the randtest crate.