chiark / gitweb /
main: minor code modernization for initializing the console