nonnull
__attribute__((nonnull(1), format(printf, 1, 2)));
__attribute__((nonnull(2), format(printf, 2, 3)));
__attribute__((nonnull(3), format(printf, 3, 4)));
__attribute__((nonnull))
__attribute__((nonnull))
__attribute__((nonnull(1)));
__attribute__((nonnull(1)));
__attribute__((nonnull))
uint8_t nonnull = unmarshal_u8(b);
if(nonnull) {
#if zone_has_attribute(nonnull)
nonnull((1))