proc() -> move||