Use csp_malloc instead of malloc