Sure, but I need to concatenate the `64-bit` args below here (and the order matters), so I'm not sure how to do that with a whitespace-seperated string.