#include "half3.hpp"

HALF_RESULT_TYPE half3() { return half(3); }