Text this: Using CSP to model the synchronization process of variable length codes