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