Why not simply `frames.push((void *)framepointer);`?