(executables
 (modes byte exe)
 (names generate_pow_overflow_bounds)
 (libraries num)
 (preprocess no_preprocessing))
