Ayaz's small core of Roc, for experiments - View it on GitHub