a draft code of the standard library