workaround_applied
workaround_applied(88);
workaround_applied(91);
workaround_applied(93);
workaround_applied(95);
workaround_applied(100);
workaround_applied(108);
workaround_applied(121);
workaround_applied(122);
workaround_applied(6336786);
workaround_applied(147);
workaround_applied(721);