Dynamically generate specs
Stub out stdout write to avoid annoying printing