allocPcb() OK