Java Record Constructor Example In Cpp