Finished porting EXT extensions