Revert stdlib