# define inline inline __attribute__ ((always_inline))
# define __noreturn __attribute__ ((noreturn))
# define __malloc __attribute__ ((malloc))
# define inline inline __attribute__ ((always_inline))
# define __noreturn __attribute__ ((noreturn))
# define __malloc __attribute__ ((malloc))