pragma code: signed correctness