const face_setterinfo: JSJitInfo;