_jfp_lookup_x0213_compose
u32 = _jfp_lookup_x0213_compose(
u32 = _jfp_lookup_x0213_compose(e16, &u32_2);