MANIFEST
$(  // UID sets:
    uidsize     = (8+bytesperword-1)/bytesperword
    capsize     = 4*uidsize + 1
    cap.tuid    = 0
    cap.tpuid   = uidsize
    cap.auty    = 2*uidsize
    cap.puid    = 3*uidsize
    cap.usertag = 4*uidsize     // word indicating user tag owning this uidset
$)


