APP_SPEC: Arc56Contract = ...