Getting pragma back in