This is the standard C library
rename() function from stdio.h.
The default implementation of this function uses semihosting.
rename() causes the file whose name is
the string pointed to by
old to be subsequently known
by the name given by the string pointed to by
The file named
old is effectively removed. If a file
named by the string pointed to by
new exists prior
to the call of the
rename() function, the behavior
Returns zero if the operation succeeds or nonzero if it fails. If the operation returns nonzero and the file existed previously it is still known by its original name.