const display_getterinfo: JSJitInfo;