spec for TinyMiddleware