error: Encountered end of file