implementation module main

import B, C

Start = isB C