First step toward new resolution-management: parameterize all programs by an extra 'resolution' parameter.