Initial pseudocode for bootstrap.

This bootstrap should do it.
But feel free to develop it further before we start coding it.