unit progress = {

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

}