Art. 72 lit. b:
"The Chief Justice and the Associate Justices of the Supreme Court and judges
of subordinate courts of record shall be retired at the age of
provided, however, that a justice or judge who has attained that age may continue
in office for as long as may be necessary to enable him to render judgment or
perform any other judicial duty in regard to proceedings entertained by him
before he attained that age."