module Preprocessed where

warning = ()