f30f1efa4883ec18f2 0f114c2408bf01000000660f2ec07a08 b8000000000f44f8e88cfffffff20f10 05230e0000660f2f442408400f97c740 0fb6ffe898ffffff4883c418c3 000000000000e83f read_nan\(NAN\(param_1\)\); read_compare\(param_2 < 0\.75\); NAN\(param_2\)