toplevel: checksum