the rule graph in theory should allow these to be statically constructed. but as pointed out yesterday, the fact that intrinsics don't always use

Values

complicates things.