more redone stdlib