The actual "m" is found by looking at the "p" class if it's non-virtual, and at the "v-table" in p if it's "virtual".
If "m" is static, no class lookup, or object v-table lookup is done, and the call is p->m() ~= m()