let
indir tbl label loc = indir_at (
Some
tbl) label loc