begin
  integer i, j
  i = ¬j
endofprogram