old boys of our college are called old royalists