https://new-job-everyday.blogspot.com/2021/06/what-is-casting-and-types-of-casting.html