let

  s10 = ''
  '';

in s10