unit exec = {

imports[]; exports[ out : Exec_T ]; ...

}