// These are attributes of the foo module
#[attr1 = "val"];
#[attr2 = "val"];

// Attributes of the following function
#[attr1 = "val"]
#[attr2 = "val"]
fn main() { }