should this just # include <stdio.h> instead?