Don't on_chip_cast the result of malloc