initial basic blocks