Added back 'static inline', as not having this caused more problems than having it
Fixed wrong arguments to printf()