src/internal/coverage/uleb128