Moved specs to new file for int generator