0022 hot loading: keep debug info