use `listings` and include rather than copy-paste?