Pre.ttypenny (offline)