PHP: support XCALL