Inserted pragma marks