Frontend - declarations