New: pragma