unit base_stack = {

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

}