Issues are WSF_RESPONSE.status_code/status_is_set

1) status_code is defined as an INTEGER, but it can never be negative. Better if it were a NATURAL. Likewise values in HTTP_STATUS_CODE
2) status_is_set checks for > 0, but creation procedures set it to 200, so it is always true. many callers in EWF, some of which are probably buggy.

This is subject to discussion in the mailing list
