a skeletal module for higher-order pattern unification in the C runtime