shlevy/verified-left-pad

Name: verified-left-pad