[AC 21.5] Static checker fun