othersrc/external/bsd/lamport