// no separate header for 'pocket' iostreams...
#include <iostream>

