svalue_to_string in interpret.c
