Libquantum 1.1.1 ported in ADA