0533: custom spec check: better performance