aha! so they already do. you could also just print `$*`.