Number of workgroups to launch is determined by num_workgroups()