module T4240B (m) where

import T4240A