compilation of labels
repl_fun with incremental label compilation built-in