Add 'nonnull', a new parameter and return attribute which indicates that the pointer...