rename proc() {...} to move || {...}