rtl_test: monotonic from MikeT