should replace variables with integers