Pseudo code for Walnut::Shell#crack