is no longer saved. It seems to be optional to pass this to print_387_status(), so just pass 0 instead for now.