For now, don't try to inline anything with extops.