note on OP_CODESEPARATOR