let
raise_error msg =
Aorai_option
.fatal
"Aorai plugin internal error. \nStatus : %s.\n"
msg