INT

This function is not used by any rules.