Cannot Index a Text in Waldo

[ekyauk]

Waldo crashes when trying to index a Text (i.e. str[0]). Below is an example of code that will cause the crash.

Waldo code

Endpoint StrTester;

StrTester {
    Text str_test = "hello";
    Public Function return_str() {
        str_test[0];
    }
}

Python code

from str_bug_emitted import StrTester
import sys
import os
sys.path.append(os.path.join("../../"))
from waldo.lib import Waldo

str_tester = Waldo.no_partner_create(StrTester)
str_tester.return_str()