2 * popcount<Max15>(undefended)