INT3341: format code