Jormungand and FL1CS