program nodec is
begin
  write true + 666
end