Using the new Gef4 API