Feature films starring John Vinge