SNEF and CRAKK