use stdc malloc instead of mymalloc()