FullAOT fallback: Slightly better random