Defined in File catch_amalgamated.hpp
Values:
Currently equivalent to RandomDevice, but can change at any point.