A strongly specified, highly compatible implementation of Marco Arment