Plan main:
    Execute go_to(grey_door)
    Execute toggle
    Execute go_to(red_key)
    Execute pickup
    Execute go_to(grey_door)
    Execute toggle
    Execute go_to(red_door)
    Execute toggle
    Execute go_to(goal)
