[Bug 1073][Bug 1093] Disallowed 'goto' and kernel-to-kernel calls