choice: make it compile