begin
  assert('acv'<'acvb');
  assert('acvb'>'acv');
  assert('abc'+'def'='abcdef');
end.