Add usf4 guile