we still have pragma comments