Bug in cxx_frame_handler