Symbol: Opt_max_inline