! @expect verified

program main
  implicit none
  type Location
    integer x
    integer y
  end type Location

  type(Location) :: p
  p = Location(2,3)
  !print *, p%x == 3
  !$CVL $assert(p%x == 2)
  !$CVL $assert(p%y == 3)
end program main
