// GIF worker JS placeholder