external dot      : t -> t -> float = "vec4_dot"