<https://stackoverflow.com/questions/69695763/what-is-the-difference-between-modifier-widthintrinsic...