let
fast_pattern_of_pattern p = ref (
Brute
(ref 0, p))