Code style: In C, use __inline instead of inline.