spankingnl - Wall time, a variant of corner time, is made much...