Arduino Micro: direct access to on-board leds

Arduino Micro has some extra leds that it is tricky to programme. Like almost all Arduinos, has a built-in led - the green one on the left in the photo.