Add HsStatic case to coverage code.
Fix T4437 so it succeeds with the StaticValues extension.
Implement tests of the StaticValues extension.