const extractContents_methodinfo: JSJitInfo;