type @beta @extern GLshort: short; [[GLshort type]] /* FIXME: We should not expose this in the API but probably redefine it. */