(Libretro SDK) Libco - style nits