Removed old export listing of nonexistent functions in Checked.