Results for a functional nomadic code