spec for TinyApp