debug info for function return types