标签: return types for static analysis