start updating free_varsScript.sml