unit null_progress = {

imports[ _exit : { _exit } ]; exports[ out : Progress_T ]; ...

}