Pragma marks reverted