// EXTRA_FILES: imports/a12037.d
import imports.a12037;
alias CustomFloat!(10, 5) Float16;
void main()
{
    Float16 f = 0;
}
// EXTRA_FILES: imports/a12037.d
import imports.a12037;
alias CustomFloat!(10, 5) Float16;
void main()
{
    Float16 f = 0;
}