Add an extended version of ctrl_alloc which permits you to provide a