c can correctly return bool as int