module V () where

import {-# SOURCE #-} F ()