Gobierto internals

This section describes how to use in your code some specific APIs of Gobierto: