int becomes void