@[deprecated: 'use xxx.yyy']
@[deprecated_after: '2999-01-01']
module ttt

pub fn f() int {
	return 1142
}