theory asdf where
    foo : asdfs
    foo : sdf

/* asdfasdf */
// asdf;lkj asdf;klj asdfkjh asdfjlkha sdfljk