chiark / gitweb /
execute: get rid of gcc warning