r9368: initial port to uffi