../../Task/Empty-string/ACL2