let tv_messageReal = (Textvariable.create () : Textvariable.textVariable)