command-int.json: In command 'int':
command-int.json:2: built-in type 'int' is already defined