let shared = "hoare"