/lib/non-semihosting/