change [int] to maybe int
delete unused code in this style