let interpreter_macro_to_value m = match m with
                                | Number_samples_int -> 0xFFFF
                                | Max_Eval_Time_int -> 0xFFFFFFFF