R3-GUI framework for R3/Saphir interpreter