Pragma "mark"