def bh_strlen(self, string): return llimpl.do_strlen(string)
def do_strlen(self, stringbox): string = stringbox.getref_base() return history.BoxInt(llimpl.do_strlen(0, string))