Fix #1294: Honor @noinline