Convert to use cl-launch