A RESTful declarative API framework, with stub generators for Shell, and Android