llv23 - for swift refinement