unit hello_min = {

imports[ stdout : Stdout_T ]; exports[ out : SimpleMain_T ]; ...

}