13. A non-transitory computer-readable medium containing instructions that, when executed by a processor, cause the processor to: receive source code that is restricted to a subset of valid statements of a high-level language; and translate the source code to a low-level language; wherein the low-level language comprises a specialized instruction set; wherein each statement of the subset of the high-level language directly maps to an instruction of the low-level language; and wherein the translating generates an error message in response to an attempt to translate an otherwise-valid statement of the high-level language if the statement is outside of the subset.
14. The non-transitory computer-readable medium of claim 13 wherein the subset of the high-level language comprises a definition of a type that is not built into the standard high-level language, but that adheres to the semantics of the high-level language.