Providing explicit return types for procedures