I don't think stdin is needed; `#include` should suffice.