Functionalize loop_header.