set_int

Description:

public void set_int (int index, int value)

Set a int value

Parameters:

index	the index to write to
value	the value to write