checking return types