runtime: change int to i32, int is a reserved word