more AggressiveInlining usage