types of returned values are checked now.