s=estr(); print("if (s.len()!=0) exit(1);"); if (s.len()!=0) exit(1); s="hello world"; print("if (s.len()!=11) exit(1);"); if (s.len()!=11) { print("s.len(): "+s.len()); exit(1); } print("if (!(s==\"hello world\")) exit(1);"); if (!(s=="hello world")) exit(1); print("if (s!=\"hello world\") exit(1);"); if (s!="hello world") exit(1); print("if (s.substr(0,5)!=\"hello\") exit(1);"); if (s.substr(0,5)!="hello") exit(1); print("if (s.substr(2,3)!=\"llo\") exit(1);"); if (s.substr(2,3)!="llo") exit(1); print("if (s.substr(6)!=\"world\") exit(1);"); if (s.substr(6)!="world") exit(1); print("if (s.substr(-3)!=\"rld\") exit(1);"); if (s.substr(-3)!="rld") exit(1); print("if (s.substr(-3,2)!=\"rl\") exit(1);"); if (s.substr(-3,2)!="rl") exit(1); s.erase(0,2); print("if (s!=\"llo world\") exit(1);"); if (s!="llo world") exit(1); s="hello world"; s.erase(-3); print("if (s!=\"hello wo\") exit(1);"); if (s!="hello wo") exit(1); exit(0);