licenses, virtual-machine section and api-design section