Approved by Jim Blandy: