unit time_test = {

imports[ time : PosixTime_T stdout : Stdout_T ]; exports[ simplemain : SimpleMain_T ]; ...

}