GNUBLIN/Extensions