@Kimundi you don't remember correctly :P this code means `y: ~int`.