Fully documented deprecated header