internal_revenue_code_section_871_b