Porting GEL

Porting should be relatively easy. There are three points to take care of: