return_value: #x:basic-type