PROOF interface and macro added