Scarlet is having fun with a F* Machine