fn main() {
    builtin # type_ascribe(10, usize)
}