exec4: after hours of testing (without gdb), it passed all assertions.