let
load =
Printf
.sprintf
"\tld\t[%s], %s\n"