foo :: Int
foo = error "T14690"