doc guile nls static test verify-sig
