Here goes generated SJCL.

(Placeholder file to keep directory in git)