Hog, the tiny typesetter