more compile_val

up to CCall case