# feat: inferable errors from procedures