Symbol: PK_EOF