Symbol: kr_pointer_overflow