syntax revisement: symbol -> token, chit -> chip