Use tor's INLINE, better names