taglinefilesource code
bad_fork133kernel/fork.cgoto bad_fork;
bad_fork230kernel/fork.cbad_fork: