stdlib.txt
changeset 4072 ead446e70c28
parent 2432 986718a355fa