Running maximum of a k-regular sequence | Synapse