Hot: aggressiveinline