const write_getterinfo: JSJitInfo;