Common global functions defined by GAP.