Frontend: Fix some underscore-then-capital UB