from scratch; add Berkeley header