invalid return types for casting functions