-record(loop, { block_type :: gwr@spec:block_type(), instructions :: list(gwr@spec:instruction()) }).