This isn't a good example because a) it uses an assert (this should be a test if anything) and b) it doesn't demonstrate actual usage. No one is going to write code like this. How would you actually use `syscall_arg!` in practice? As an argument to `pokeuser`, right? This applies to all 3 of these macros.