/* How to obtain function inlining. */
#define INLINE inline __attribute__((always_inline))