// "env_source_recursive-A-01.hac"
// copy-modified from "env_source_recursive-01.hac"
// instantiating a recursive source
// should pass

import "env_source_recursive-A.hac";

source_e<4> S<4, {0,1,2,3}>;

