[ "-I", "examples"
, "--module=Test.Literate.Test01"
, "--unique-id", "com.well-typed.hs-bindgen"
, "test_01.h"
]