even smaller true binary, thanks to some optimizations by @tiborvass :)