Retval {} -> []