Added a couple of INLINABLE pragmas