bpk; .src/x/sec/gpgize;