Skeleton for test pragmas (too lazy to write the same pragmas over?)