hat_exit
void hat_exit(struct hat *);
hat_exit(as->a_hat);
hat_exit(as->a_hat);
hat_exit(as->a_hat);
hat_exit(as->a_hat);
hat_exit(hat);
hat_exit(hat);
hat_exit(hat);
hat_exit(hat);
hat_exit(hat);