Disallowing string types, verifying stack before execution.