Compact modular uses true prefix sum specification