https://www.didispace.com//java-features/java16/jep395-records.html