Mark coverage mask output as int.