Int a b c (12/48)

Int a b c