https://remp3indir.net/java-record-default-constructor/