The examples in the Users Guide all use simple data types. I was wondering how something like a struct would be handled.
For example, if it is an array of my_struct which contain 2 ints, would it be sensible to write _nassert((int) my_struct % 16 == 0) where 16 comes from simply doubling 8?