✏️ Editing: nondet_random.hpp