MkInt$

This is a shortcut for MkInteger$.

Since 3.1