Searching in portable/GCC/MicroBlazeV8