! @expect verified

program hello
  implicit none
  !$CVL $assert(.TRUE.)
end