Doc comments for hal and lib.