More pragma: no cover