const display_setterinfo: JSJitInfo;