Arduino LED button toggle

button_toggle.c

int button;
int last_button;
int led_state = LOW;

void setup()
{
    pinMode(13, OUTPUT);
    pinMode(2, INPUT_PULLUP);
}

void loop()
{
    last_button = button;
    button = digitalRead(2);
    if (button == LOW && last_button == HIGH)
    {
        led_state = !led_state;
    }
    digitalWrite(13, led_state);
}