compile with -O2 -fspecialize-aggressively