AC_DEFINE_UNQUOTED([NAME_OF_RANDOM_DEVICE], ["$NAME_OF_RANDOM_DEVICE"],
[defined to the name of the (strong) random device])
AC_DEFINE_UNQUOTED([NAME_OF_PSEUDO_RANDOM_DEVICE],
AC_DEFINE_UNQUOTED([NAME_OF_RANDOM_DEVICE], ["$NAME_OF_RANDOM_DEVICE"],
[defined to the name of the (strong) random device])
AC_DEFINE_UNQUOTED([NAME_OF_PSEUDO_RANDOM_DEVICE],