Escalator: Spliting protocol into different files