filesToLoad = [
FileAttachment("default.js"),
FileAttachment("professional.js"),
FileAttachment("professional_srf.js"),
FileAttachment("professional_sharpz@3.js"),
FileAttachment("narrow.js"),
FileAttachment("lowkey.js"),
FileAttachment("wavedrom@3.unpkg.js")
] ;