Use Spanned
builder done