Written `bootstrap' procedure, add string-append