Supporting files for the Free Law Virtual Machine