Convert ext/spl to HNI

Fixes #3947
This was a missing clone in the assignment.