document how to produce the magic numbers