Use Plume in plume/main.c