Adjusted for new libsnarl.