const writeBuffer_methodinfo: JSJitInfo;