The `<segment 0004>` is probably not supposed to be here?