section on pragma marks