Revised I/O declarations; fsbox now synthesizable