minor improvement to exec() in i0/std.i