begin
  if true then;
end.