A header generator for the vita toolchain