void sign_module (systemtap_session& s);