#version 310 es
#extension GL_AMD_gpu_shader_half_float: require
precision highp float;
precision highp int;


struct modf_result_vec3_f16 {
  f16vec3 fract;
  f16vec3 whole;
};

void modf_45005f() {
  f16vec3 arg_0 = f16vec3(-1.5hf);
  modf_result_vec3_f16 v = modf_result_vec3_f16(f16vec3(0.0hf), f16vec3(0.0hf));
  v.fract = modf(arg_0, v.whole);
  modf_result_vec3_f16 res = v;
}
void main() {
  modf_45005f();
}
#version 310 es
#extension GL_AMD_gpu_shader_half_float: require


struct modf_result_vec3_f16 {
  f16vec3 fract;
  f16vec3 whole;
};

void modf_45005f() {
  f16vec3 arg_0 = f16vec3(-1.5hf);
  modf_result_vec3_f16 v = modf_result_vec3_f16(f16vec3(0.0hf), f16vec3(0.0hf));
  v.fract = modf(arg_0, v.whole);
  modf_result_vec3_f16 res = v;
}
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
void main() {
  modf_45005f();
}
#version 310 es
#extension GL_AMD_gpu_shader_half_float: require


struct modf_result_vec3_f16 {
  f16vec3 fract;
  f16vec3 whole;
};

struct VertexOutput {
  vec4 pos;
};

void modf_45005f() {
  f16vec3 arg_0 = f16vec3(-1.5hf);
  modf_result_vec3_f16 v = modf_result_vec3_f16(f16vec3(0.0hf), f16vec3(0.0hf));
  v.fract = modf(arg_0, v.whole);
  modf_result_vec3_f16 res = v;
}
VertexOutput vertex_main_inner() {
  VertexOutput tint_symbol = VertexOutput(vec4(0.0f));
  tint_symbol.pos = vec4(0.0f);
  modf_45005f();
  return tint_symbol;
}
void main() {
  gl_Position = vertex_main_inner().pos;
  gl_Position[1u] = -(gl_Position.y);
  gl_Position[2u] = ((2.0f * gl_Position.z) - gl_Position.w);
  gl_PointSize = 1.0f;
}