Hi, We have just released another early-access Panama/foreign build, which includes all the goodies we've been working on so far, from API changes, to VM upcall optimizations, to jextract stability/usability improvements. Keep the feedback coming - we couldn't do this without your help and support. Cheers Maurizio