Better pragma marks