Simple assertion macros for C