unit null_profile = {

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

}