port ends_with_blank_line(); more finalize()