guile nls static verify-sig
