How are these levels actually encoded? Do they use special unwritable tokens to wrap instructions?