symbol = kernel`malloc