$ ceu --lib=pico main.ceu