Using Fiasco L4re APIs