Old Library entrance (© Peter Cook)