pragma was a bad idea