Int a b c (11/48)

Int a b c