https://porthos.medium.com/exploring-rusts-macro-system-an-introduction-to-secure-composable-code-a1d20a2fca09