Use submodule stdlib at tag 4.3.2