proc() -> move ||