624 /* if_output MP-safe, etc. */