let
shared =
"hoare"