<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def vscl(s, v1):
 """ Multiply a scalar and a 3-dimensional double precision vector. http://naif.jpl.nasa.gov/pub/naif/toolkit_docs/C/cspice/vscl_c.html :param s: Scalar to multiply a vector :type s: float :param v1: Vector to be multiplied :type v1: 3-Element Array of floats :return: Product vector, s*v1. :rtype: 3-Element Array of floats """

    s = ctypes.c_double(s)
    v1 = stypes.toDoubleVector(v1)
    vout = stypes.emptyDoubleVector(3)
    libspice.vscl_c(s, v1, vout)
    return stypes.cVectorToPython(vout)