[[ RefactorSyntax ]] Corrected type of pattern properties (should be UInt32).