fixed stdint thing in inline.h