Fixes to 10760 to reduce desyncs on checkers and better heat my room during long dark winter nights

module Main where

import qualified MODULE as M

main = undefined $ M.FUNCTION PARAMETERS