Jhn stdlib 12 lazy close

To close #12.