Add int declarations to formal variables
