* h_program-lang/layer_code.ml: base