use PORT_Assert