File psl-1983/20-kernel/alloc.log from the latest check-in

(file is 3003 bytes of binary data)