CONSTANTS
    NUM_USERS = 4
    NUM_INDICES = 4

INIT Init
NEXT Next